Development of the New Software LAFIRE for Automatic Refinement

Software Development by Refinement

the impact of morphological awareness on the vocabulary development of the iranian efl students

this study investigated the impact of explicit instruction of morphemic analysis and synthesis on the vocabulary development of the students. the participants were 90 junior high school students divided into two experimental groups and one control group. morphological awareness techniques (analysis/synthesis) and conventional techniques were used to teach vocabulary in the experimental groups a...

Software Development for Simulation of Reformer Furnace

In recent years, lots of research has been done on effective usage of natural gas; the first step in these processes is conversion of natural gas to Syngas. Natural gas reforming process by refomer furnace is commonly used for syngas and hydrogen production. In this paper, a windows based software, RIPI-RefSim, is introduced. By using proper heat, mass, kinetic and thermodynamic models as w...

Designware: Software Development by Refinement

This paper presents a mechanizable framework for software development by re nement. The framework is based on a category of higher-order speci cations. The key idea is representing knowledge about programming concepts, such as algorithm design, datatype re nement, and expression simpli cation, by means of taxonomies of speci cations and morphisms. The framework is partially implemented in the r...

study of cohesive devices in the textbook of english for the students of apsychology by rastegarpour

this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...